21. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
پدیدآورنده: Alan J. Hu, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
22. Computer architectures and networks : modelling and evaluation : proceedings of an International Workshop
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital computer simulation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Computer networks-- Congresses
رده :
QA
76
.
5
.
C612553
23. Computer assisted radiology :
پدیدآورنده: edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
24. Computer evaluation and methods ( Based on the seminar arranged on May 6 and 7, 1968 in the Park Hotel, Sandeford by the Norwsgian Computer Society) Ed.Peter Hidas
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processing -- Congresses,Electronic digital computers -- Congresses
رده :
QA
76
.
5
.
C66
25. Computer performance evaluation : modelling techniques and tools : 9th International Conference, St, Malo, France, June 1997 : proceedings
پدیدآورنده: Raymond Marie...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1245
26. Computer performance evaluation : modelling techniques and tools : 7th International Conference Vienna, Austria, May 3-6, 1994 : proceedings
پدیدآورنده: Gunter Haring, Gabriele Kotsis, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
794
27. Contemporary computing :
پدیدآورنده: Sanjay Ranka [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
28. Dependable computing--EDCC-1 :
پدیدآورنده: Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
29. Elements of practical performance modeling
پدیدآورنده: / Edward A. MacNair, Charles H. Sauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Digital computer simulation - Congresses,Electronic digital computers - Evaluation - Congresses
رده :
QA76
.
9
.
C65M34
1985
30. Elements of practical performance modeling
پدیدآورنده: MacNair, Edward A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Digital computer simulation,Congresses ، Electronic digital computers -- Evaluation
رده :
QA
76
.
9
.
C65
M34
1985
31. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
6
.
G18
1974
32. International Computer Performance and Dependability Symposium, IPDS'96: proceedings, September 4-6, 1996, Urbana-Champaign, Illinois
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
9
.
E94
.
I54
1996
33. Measuring computer performance : a practitioner's guide
پدیدآورنده : Lilja, David J.
موضوع : Congresses ، Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
34. Mobile and wireless communication networks :
پدیدآورنده: edited by Guy Pujolle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mobile communication systems, Congresses.,Wireless communication systems, Congresses.
35. Modelling and performance evaluation of computer systems
پدیدآورنده: / organized by the Commission of the European Communities, Joint Research Centre, Ispra Establishment, Department A Ispra (Varese) Italy, October 4-6, 1976
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic digital computers- Evaluation- Congresses
رده :
QA76
.
9
.
E94
,
M6
1977
36. Modelling and performance evaluation of computer systems: proceedings of the international workshop
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Evaluation Congresses
رده :
QA
76
.
9
.
E94
.
M6
37. Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.
پدیدآورنده: Edited by E. Gelenbe and C. Kaiser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Electronic digital computers -- Congresses.,Ordinateurs -- Congrès.
38. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
39. Performance '90: Proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance: Modelling, Measurement, and Evaluation, Edinburgh, Scotland, 12-14 September 1990
پدیدآورنده: International Symposium on Computer Performance Modeling, Measurement, and Evaluation )14th : 1990: Edinburgh, Scotland(
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Electronic digital computers- Evaluation- Congresses
رده :
004
.
24
I23P
40. Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer networks-- Evaluation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Queuing theory-- Congresses,، Telecommunication systems-- Evaluation-- Congresses
رده :
TK
5105
.
5
.
P473
1993
